16 April 2014, Algebra|Coalgebra Seminar, Sam van Gool

Abstract
We give a construction of finitely generated free algebras for Gödel-Löb provability logic, GL. On the semantic side, this construction yields a notion of canonical graded model for GL and a syntactic definition of those normal forms which are consistent with GL. Our two main techniques are incremental constructions of free algebras and finite duality for partial modal algebras. In order to apply these techniques to GL, we use a rule-based formulation of the logic GL by Avron (which we simplify slightly), and the corresponding semantic characterization that was recently obtained by Bezhanishvili and Ghilardi.

For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh (sumit.sourabh at gmail.com).